We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2]. Since minimal propositional logic is known to be PSPACE complete, while PSPACE to include NP, it suffices to show that every valid purely implicational formula ρ has a proof whose weight and time complexity of the provability involved are both polynomial in the weight of (...) ρ. As is [3], we use proof theoretic approach. Recall that in [3] we considered any valid ρ in question that had a “short” tree-like proof π in the Hudelmaier-style cutfree sequent calculus for minimal logic. The “shortness” means that the height of π and the total weight of different formulas occurring in it are both polynomial in the weight of ρ. However, the size, and hence also the weight, of π could be exponential in that of ρ. To overcome this trouble we embedded π into Prawitz’s proof system of natural deductions containing single formulas, instead of sequents. As in π, the height and the total weight of different formulas of the resulting tree-like natural deduction ∂1 were polynomial, although the size of ∂1 still could be exponential, in the weight of ρ. In our next, crucial move, ∂1 was deterministically compressed into a “small”, although multipremise, dag-like deduction ∂ whose horizontal levels contained only mutually different formulas, which made the whole weight polynomial in that of ρ. However, ∂ required a more complicated verification of the underlying provability of ρ. In this paper we present a nondeterministic compression of ∂ into a desired standard dag-like deduction ∂0 that deterministically proves ρ in time and space polynomial in the weight of ρ.2 Together with [3] this completes the proof of NP = PSPACE.Natural deductions are essential for our proof. Tree-to-dag horizontal compression of π merging equal sequents, instead of formulas, is not sufficient, since the total number of different sequents in π might be exponential in the weight of ρ – even assuming that all formulas occurring in sequents are subformulas of ρ. On the other hand, we need Hudelmaier’s cutfree sequent calculus in order to control both the height and total weight of different formulas of the initial tree-like proof π, since standard Prawitz’s normalization although providing natural deductions with the subformula property does not preserve polynomial heights. It is not clear yet if we can omit references to π even in the proof of the weaker result NP = coNP. (shrink)

We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...) problem of the safety of the agenda). We provide results both for specific aggregation procedures (the quota rules, the premisebased procedure, and a distance-based procedure) and for classes of aggregation procedures characterised in terms of fundamental axioms. (shrink)

This paper focuses on Confucian formulations of personhood and the implications they may have for bioethics and medical practice. We discuss how an appreciation of the Confucian concept of personhood can provide insights into the practice of informed consent and, in particular, the role of family members and physicians in medical decision-making in societies influenced by Confucian culture. We suggest that Western notions of informed consent appear ethically misguided when viewed from a Confucian perspective.

In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic with the horizontal compressing in the corresponding minimal Prawitz-style natural deduction. In this Addendum we show how to prove a weaker result NP = coNP without referring to HSC. The underlying idea is to omit full minimal logic and compress only “naive” normal tree-like ND refutations of the existence of Hamiltonian cycles in given non-Hamiltonian graphs, (...) since the Hamiltonian graph problem in NPcomplete. Thus, loosely speaking, the proof of NP = coNP can be obtained by HSC-elimination from our proof of NP = PSPACE. (shrink)

Previous research has established that the success of strikes, and social movements more broadly, depends on their ability to garner support from the public. However, there is scant published research investigating the response of the public to strike action by healthcare workers. In this study, we address this gap through a study of public responses to UK nursing strikes in 2022–2023, using a data set drawn from Twitter of more than 2300 publicly available tweets. We focus on negative tweets, investigating (...) which societal discourses social media users draw on to oppose strike action by nurses. Using a combination of corpus‐based approaches and discourse analysis, we identified five categories of opposition: (i) discourse discrediting nurses; (ii) discourse discrediting strikes by nurses; (iii) discourse on the National Health System; (iv) discourse about the fairness of strikers' demands and (v) discourse about potential harmful impact. Our findings show how social media users operationalise wider societal discourses about the nursing profession (e.g., associations with care, gender, vocation and sacrifice) as well as recent crises such as the Covid‐19 pandemic to justify their opposition. The results also provide valuable insights into misconceptions about nursing, strike action and patient harm, which can inform strategies for public communication. (shrink)

Women and men are biologically and reproductively dissimilar. This sexual distinctiveness gives rise to a “sexual asymmetry”—the fundamental reality that the potential consequences of sexual intercourse are far more immediate and serious for women than for men. Advocates of contraception and abortion sought to cure sexual asymmetry by decoupling sex from procreation, relieving women from the consequences of sex, and thus equalizing the sexual experiences of men and women. But efforts to suppress or reject biological difference have not relieved women (...) of the consequences of sex and the vulnerabilities of pregnancy, even as they have further relieved men. Although secular feminist responses to biological difference have served to exacerbate sexual asymmetry, Catholic teaching on abortion, sex, and marriage—even contraception—provides an authentically pro-woman cultural response. (shrink)

Under approval voting, each voter can nominate as many candidates as she wishes and the election winners are those candidates that are nominated most often. A voter is said to have voted sincerely if she prefers all those candidates she nominated to all other candidates. As there can be a set of winning candidates rather than just a single winner, a voter’s incentives to vote sincerely will depend on what assumptions we are willing to make regarding the principles by which (...) voters extend their preferences over individual candidates to preferences over sets of candidates. We formulate two such principles, replacement and deletion, and we show that, under approval voting, a voter who accepts those two principles and who knows how the other voters will vote will never have an incentive to vote insincerely. We then discuss the consequences of this result for a number of standard principles of preference extension in view of sincere voting under approval voting. (shrink)

This study reflects on the ways in which children, during pandemic times, expressed themselves and came into contact with their teachers and classmates through Image-Letters, ways of saying and saying themselves to the world through audiovisual media. Sensible sharing of their daily lives were revealed by these media and made us think about the diverse childhood of this time. The theoretical framework that supported this work had the contribution of De Certeau regarding studies on everyday life, Walter Benjamin with his (...) writings on childhood experience, Sandra Corazza and Walter Kohan with their contributions to studies on contemporary childhoods and Virgínia Kastrup who supported us on to the cartography method, a methodological approach that allowed us to follow the research process. The objective of this work was to observe the ways in which children communicate through verbal-visual media and what type of content and everyday fragments they choose to share their experiences during the pandemic period.with the school institution. It is important to highlight that the dissemination of the images was authorized by the children and their guardians through a free and informed consent term, in compliance with the ethical principles of research with images of children. Furthermore, the images are available through QRcode and can be accessed through a smartphone camera. (shrink)

Abstract‘Raising aspirations’ for education among young people in low socioeconomic regions has become a widespread policy prescription for increasing human capital investment and economic competitiveness in so-called ‘knowledge economies’. However, policy tends not to address difficult social, cultural, economic and political conditions for aspiring, based in structural changes associated with globalization. Drawing conceptually on the works of Pierre Bourdieu, Raymond Williams, Arjun Appadurai and authors in the Funds of Knowledge tradition, this article theorizes two logics for aspiring that are recognizable (...) in research with young people and families: a doxic logic, grounded in populist–ideological mediations; and a habituated logic, grounded in biographic–historical legacies and embodied as habitus. A less tangible third ‘logic’ is also theorized: emergent senses of future potential, grounded in lived cultures, which hold possibility for imagining and pursuing alternative futures. The article offers a sociological framework for understanding aspirations as complex social–cultural phenomena, and for capacitating emergent and hopeful aspirations through school- and community-based research and dialogue. (shrink)

An absolute decline in US life expectancy in low education whites has alarmed policy makers and attracted media attention. Depending on which studies are correct, low education white women have lost between 3 and 5 years of lifespan; men, between 6 months and 3 years. Although absolute declines in life expectancy are relatively rare, some commentators see the public alarm as reflecting a racist concern for white lives over black ones. How ought we ethically to evaluate this lifespan contraction in (...) low education whites? Should we care, or is it racist to care? Does it constitute an injustice or reflect justice being done? I argue that the lifespan contraction in low education whites violates key normative criteria used to make determinations of health justice, and that these judgments do not vitiate concerns about racism. I conclude with reflections on US population health policy and building an inclusive health equity movement. (shrink)

Berichte zur Wissenschaftsgeschichte, Volume 45, Issue 1-2, Page 164-188, June 2022.

: The main contribution of this paper to current philosophical and sociological studies on modeling is to analyze modeling as an object-oriented interdisciplinary activity and thus to bring new insights into the wide, heterogeneous discourse on tools, forms and organization of interdisciplinary research. A detailed analysis of interdisciplinarity in the making of models is presented, focusing on long-standing interdisciplinary collaboration between specialists in infectious diseases, mathematicians and computer scientists. The analysis introduces a novel way of studying the elements of the (...) models as carriers of interdisciplinarity. These elements, being functionally interdependent building blocks, evolve during the modeling work and carry the disciplinary tensions in the process. This shows how the long and challenging process of defining and reformulating the object of research is crucial for understanding the dynamics of interdisciplinarity in the making. (shrink)

Existing whistle-blowing models rely on “cold” economic calculations and cost-benefit analyses to explain the judgments and actions of potential whistle-blowers. I argue that “hot” cognitions – value conflict and emotions – should be added to these models. I propose a model of the whistle-blowing decision process that highlights the reciprocal influence of “hot” and “cold” cognitions and advocate research that explores how value conflict and emotions inform reporting decisions. I draw on the cognitive appraisal approach to emotions and on the (...) social-functional value pluralism model to generate propositions. (shrink)

The study of religious practices in the Cyclades, particularly during the Iron Age and Archaic period, has traditionally concentrated on Delos. This situation has changed dramatically over the past decade, however, thanks to archaeological discoveries of important sanctuaries unmentioned in the literary sources or inscriptions. The most important sites for the study of Cyclades in these early periods, at Despotiko, Tenos, and Kythnos, are, again, known chiefly through the material evidence. T...

Once common, therapeutic privilege—the practice whereby a physician withholds diagnostic or prognostic information from a patient intending to protect the patient—is now generally seen as unethical. However, instances of therapeutic privilege are common in some areas of clinical psychiatry. We describe therapeutic privilege in the context of borderline personality disorder, discuss the implications of diagnostic non-disclosure on integrated care and offer recommendations to promote diagnostic disclosure for this patient population. There are no data in this work.

This paper is going to explore the adverse effects of exposure to combat death on medics’ holistic well-being, which, if ignored could decrease individual readiness and negatively impact the mission. We rely on the experience of United States Air Force Special Operation Surgical Teams (AF SOST) whose exposure to mass casualty scenarios in austere environments could serve as approximations of conditions of future battlefields. Over the past two decades, the ability to deliver advanced medical care on and off the battlefield (...) along with a rapid casualty evacuation platform has allowed for unprecedented survival rates exceeding 90%. While laudable, these medical achievements have also set up a casualty management paradigm in which medical decision-making singularly focuses on life-saving care. Confronting peer-peer adversaries in large scale combat operations (LSCO) on a multi-domain battlefield will make casualty management frighteningly more complex by introducing major infrastructural, personnel, and resource constraints. When considering the high number of casualties expected in LSCO alongside enormous limitations in medical resource and resupply capability, the current casualty management paradigm will not be sustainable. The resource constrained environment in LSCO will shift medical decision-making away from a singular focus on life-saving care to triage, which hinges on the ability to determine futile medical interventions—a skill that has been lost in the past two generation of combat medics. As such, a broad ethical challenge that arises in preparation for LSCO is the need to set new expectations concerning dying and death. However, medical decision-making focused on death and dying has not been explicitly addressed in military medical training, research, or policy. Relying on a body of literature known as terror management theory (TMT) and ethnographic data from our study with AF SOST medics, we are going to argue that it is important to expose medics to death in mass casualty and triage training. (shrink)

Normal 0 21 false false false ES X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabla normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} This paper discusses how the proposed musical Emir Kusturica & the no smoking orchestra , creates new forms of perception on situations of armed conflict (war in Bosnia-Herzegovina) and exclusion (relationship with the community Rom), which change (...) completely imaginary imposed by the media about such phenomena. This is seen from the view of aesthetic theory and policy Renciére Jacques, who believes that the purpose of politics is to make visible the failure of an universal order that can pick up all parts of society. (shrink)

Background This paper describes the design, implementation, and process outcomes from three public deliberations held in three tribal communities. Although increasingly used around the globe to address collective challenges, our study is among the first to adapt public deliberation for use with exclusively Indigenous populations. In question was how to design deliberations for tribal communities and whether this adapted model would achieve key deliberative goals and be well received.Methods We adapted democratic deliberation, an approach to stakeholder engagement, for use with (...) three tribal communities to respect tribal values and customs. Public deliberation convenes people from diverse backgrounds in reasoned reflection and dialogue in search of collective solutions. The deliberation planning process and design were informed by frameworks of enclave deliberation and community-based participatory research, which share key egalitarian values. The deliberations were collaboratively designed with tribal leadership and extensive partner input and involvement in the deliberations. Each deliberation posed different, locally relevant questions about genomic research, but used the same deliberation structure and measures to gauge the quality and experience of deliberation.Results A total of 52 individuals participated in the deliberations across all three sites. Deliberants were balanced in gender, spanned decades in age, and were diverse in educational attainment and exposure to health research. Overall, the deliberations were positively evaluated. Participant perceptions and external observer datasets depict three deliberations that offered intensive conversation experiences in which participants learned from one another, reported feeling respected and connected to one another, and endorsed this intensive form of engagement.Conclusion The adapted deliberations achieved key deliberative goals and were generally well received. Limitations of the study are described. (shrink)

The increasing concern about ethics and integrity in research communities has brought attention to how students and junior academics can be trained on this regard. Moreover, it is known that ethical behaviour and integrity not only involve individual but also group norms and considerations. Thus, through action research and participant observation, this research investigates the learning processes through which 64 students collaboratively develop research ethics and integrity competencies. The aim was to understand how bachelor, master and PhD students approach ethical (...) dilemma cases through a collaborative process. The data consisted of recorded group work on ethics cases, student group reports, and post-training questionnaires. Later, the analyses considered groups as the unit of analysis. These data were analysed through content analysis utilizing the SOLO taxonomy to identify levels of understanding and assess evolvement of ethical sensitivity during a case-based training session. The results show that all groups reached the level of understanding where the groups demonstrated that concepts had been understood appropriately, but occasionally struggled to make connections between them. Students perceived working collaboratively as beneficial. The results help teachers of research ethics and integrity to make pedagogically justified choices in their teaching. Drawing on the results of this study, we propose a tool for the formative assessment of student learning of research ethics and integrity. (shrink)

The focus of this article is university teachers’ and students’ views of plagiarism, plagiarism detection, and the use of plagiarism detection software as learning support. The data were collected from teachers and students who participated in a pilot project to test plagiarism detection software at a major university in Finland. The data were analysed through factor analysis, T-tests and inductive content analysis. Three distinct reasons for plagiarism were identified: intentional, unintentional and contextual. The teachers did not utilise plagiarism detection to (...) support student learning to any great extent. We discuss the pedagogical implications and suggest that the contextual reasons for plagiarism require focus primarily on study strategies, whereas the intentional reasons require profound discussion about attitudes and conceptions of good learning and university-level study habits. (shrink)

We identify two processes by which humans increase genetic exchange among groups of individuals: by affecting the distribution of groups and dispersal patterns across a landscape, and by affecting interbreeding among sympatric or parapatric groups. Each of these processes might then have two different effects on biodiversity: changes in the number of taxa through merging or splitting of groups, and the extinction/extirpation of taxa through effects on fitness. We review the various ways in which humans are affecting genetic exchange, and (...) highlight the difficulties in predicting the impacts on biodiversity. Gene flow and hybridization are crucially important evolutionary forces influencing biodiversity. Humans alter natural patterns of genetic exchange in myriad ways, and these anthropogenic effects are likely to influence the genetic integrity of populations and species. We argue that taking a gene-centric view towards conservation will help resolve issues pertaining to conservation and management.Editor's suggested further reading in BioEssays A systemic view of biodiversity and its conservation: Processes, interrelationships, and human culture Abstract. (shrink)

The COVID-19 pandemic’s disproportionate harm to racialized communities and increased public attention to the deaths of Black people at the hands of police (Elijah McClain, Breonna Taylor, George F...